🧪 Jepsen Testing - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·20h

Getting from tested to battle-tested

blog.janestreet.com·1d

Enabling autonomous agents with environment virtualization

thenewstack.io·3h

EC2, ECS, EKS, and Lambda: How I Finally Made Sense of Them

dev.to·4h·

Discuss: DEV

☸️Kubernetes

Rust async combinators for elegant and secure concurrency

kerkour.com·19h·

Discuss: r/rust

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

Don't Trip[wire] Yourself: Testing Error Recovery in Zig

mitchellh.com·1d

How to Maintain Test Automation as Systems Scale?

keploy.io·15h·

Discuss: DEV

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

📊Criterion.rs

A distributed systems reliability glossary

antithesis.com·2d

🔺CAP Theorem

Presentation: No QA Environment? No Problem: How Classpass Enables Testing on a Single Environment in ECS

infoq.com

·2d

Troubleshooting with fault tree analysis and PIOSEE

developers.redhat.com·18h

🔍Tokio Tracing

Show HN: BackBuild – A framework for sequencing complex software delivery

arcaned.co·13h·

Discuss: Hacker News

🏗️Cranelift

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·11h

Addressing Critical Tradeoffs In NPU Design

semiengineering.com·17h

🏗️System Design

Logs Are Not Enough

hashrocket.substack.com·8h·

Discuss: r/programming

📝Tracing Subscriber

IntelliJ IDEA Conf 2026: Learn From the People Building the JVM Ecosystem

blog.jetbrains.com·10h

SSDF 1.2 recognizes AppSec is a journey

reversinglabs.com·12h

💓PHI Accrual

supertestnet/wild_explorer: A bitcoin block explorer built on top of my node_faker project

github.com·20h

🐅TigerBeetle Protocol

The Evolution of Redis: From Cache to AI-Database (V1.0 to 8.4)

percona.com·11h

🐉DragonflyDB

Loading more...